<?php
	if (isset($mongodb) && !is_array($mongodb))CloseDB($mongodb);
?>
</div>
<!-- jQuery -->

<script>
$(function(){
	prettyPrint();
});
var s = "<?=$_SERVER['PHP_SELF']?>";
var list = s.split('/');
var page = list[list.length-1];
if (page == 'use.php'){
	$("li:contains('DataImport')").attr('class','active');
} else if (page == 'data.php') {
	$("li:contains('Data'):eq(0)").attr('class','active');
}

</script>
</body>
</html>